package dpll.ast;

import dpll.fnc.IVisitor;

public class NodoNegacion extends ASTNode {
	private IASTNode nodoProposicion;

	public NodoNegacion(IASTNode nodoProposicion) {
		this.nodoProposicion = nodoProposicion;
	}
	
	public IASTNode getProposicion() {
		return nodoProposicion;
	}
	
	@Override
	public <T> T accept(IVisitor<T> visitor) {
		return visitor.visitNegacion(this);
	}

	@Override
    public String toString() {
            return "(NO " + nodoProposicion.toString() + ")";
    }
}
